伊万·拉内斯;阿德里安·帕拉西奥斯;德国维达尔 消息传递并发程序的因果一致重播可逆语义。 （英语） Zbl 1482.68131号 芬丹。通知。 178，编号3，229-266（2021）.MSC公司：68问题55 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人，Fundam。通知。178，编号3，229--266（2021；Zbl 1482.68131） 全文： 内政部
Lanese，伊万;阿德里安·帕拉西奥斯;德国维达尔 消息传递程序的因果一致重放调试。 （英语） Zbl 07800284号 Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 167-184 (2019).MSC公司：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人，Lect。注释计算。科学。11535167--184（2019年；Zbl 07800284） 全文： 内政部 哈尔
伊万·拉内斯;直纪西田;阿德里安·帕拉西奥斯;德国维达尔 埃尔朗的可逆性理论。 （英语） Zbl 1400.68046号 J.日志。阿尔盖布。方法计划。 100, 71-97 (2018).MSC公司：68甲15 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人，J.Log。阿尔盖布。方法计划。100,71-97（2018；Zbl 1400.68046） 全文： 内政部 arXiv公司 链接